<!-- typeMismatchWithNothing1 -->
<html>
Type mismatch.
<table>
<tr>
  <td>Required:</td>
  <td>A<`TypeVariable(T)></td>
</tr>
<tr>
  <td>Found:</td>
  <td>Nothing?</td>
</tr>
</table>
</html>